| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 567408 | ||
| Foundations of Functional Programming | Fach-/Modulprüfung | 6 | 566450 | Mi 19.08.2026 14:30-16:30 Großer Hörsaal AM (1420|210) H01 (1385|101) H02 (1385|102) Do 17.09.2026 12:30-14:30 Großer Hörsaal AM (1420|210) TEMP2 (1515|002) | |
| Übung | 575145 | Mi 14:30-16:00 AH V (2356|050) (×10) Mi 16:30-18:00 5052 (2356|052) (×1) Do 08:30-10:00 AH I (2350|028) (×9) Do 16:30-18:00 AH I (2350|028) (×9) Fr 14:30-16:00 AH II (2350|111) (×9) Fr 14:30-16:00 PPS H2 (2315|001) (×1) | |||
| Vorlesung | 575146 | Mo 12:30-14:00 AH II (2350|111) (×10) Di 16:30-18:00 AH I (2350|028) (×10) Fr 14:30-16:00 AH II (2350|111) (×1) | |||
| Foundations of Logic Programming | Fach-/Modulprüfung | 6 | 567423 | ||
| Foundations of the UML | Fach-/Modulprüfung | 6 | 567454 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 567418 | ||
| Theory of Distributed Systems | Fach-/Modulprüfung | 6 | 566283 |